منابع مشابه
A Formal Algebra for OLAP
Online Analytical Processing (OLAP) comprises tools and algorithms that allow querying multidimensional databases. It is based on the multidimensional model, where data can be seen as a cube, where each cell contains one or more measures can be aggregated along dimensions. Despite the extensive corpus of work in the field, a standard language for OLAP is still needed, since there is no well-def...
متن کاملLinear Algebra Approach to Separable Bayesian Networks
Separable Bayesian Networks, or the Influence Model, are dynamic Bayesian Networks in which the conditional probability distribution can be separated into a function of only the marginal distribution of a node’s parents, instead of the joint distributions. We describe the connection between an arbitrary Conditional Probability Table (CPT) and separable systems using linear algebra. We give an a...
متن کاملA Formal Algebra for OLAP Link
Online Analytical Processing (OLAP) comprises tools and algorithms that allow querying multidimensional databases. It is based on the multidimensional model, where data can be seen as a cube, where each cell contains one or more measures can be aggregated along dimensions. Despite the extensive corpus of work in the field, a standard language for OLAP is still needed, since there is no well-def...
متن کاملTyping linear algebra: A biproduct-oriented approach
Interested in formalizing the generation of fast running code for linear algebra applications, the authors show how an index-free, calculational approach to matrix algebra can be developed by regarding matrices as morphisms of a category with biproducts. This shifts the traditional view of matrices as indexed structures to a type-level perspective analogous to that of the pointfree algebra of p...
متن کاملA Spiral Approach to Problems in Linear Algebra: Computer Laboratories
Interactive linear algebra laboratories at UM-D have the innovative feature that the presentation of each laboratory’s focus topic spirals through three levels of increasingly sophistication: (1) basic, (2) realistic, (3) advanced. This increasing-levels-of-maturity approach provides students with the bridge to real-world application. It also allows the instructors to choose the level to which ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2014
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s00165-014-0316-9